More from this Author

Computer Aided Verification

by Rajeev Alur (Editor), Doron A. Peled (Editor)

Verification, Model Checking, and Abstract Interpretation

by Francesco Logozzo (Editor), Leonore D. Zuck (Editor), Doron A. Peled (Editor)